To Hell And Back Again Stefan Kamphausen∗ http://www.skamphausen.de/misc/writings/ January 1, 2006 1

Source URL: www.skamphausen.de

• Lisp programming language
• Common Lisp
• Functional languages
• Emacs
• Cross-platform software
• Lisp
• CPAN
• CLISP
• Genera
• Software
• Computing
• Computer programming

Common Lisp Implementation of FastICA Roman V. Belavkin ([removed]) School of Computing Science, Middlesex University, London NW4 4BT, UK

Source URL: www.eis.mdx.ac.uk

Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University

Source URL: www.ccs.neu.edu

• Lisp programming language
• Mathematical logic
• Holism
• ACL2
• Formal methods
• Automated theorem proving
• Nqthm
• Structural induction
• Common Lisp
• Software engineering
• Computing
• Computer programming

Seven Languages in Seven Weeks

Source URL: media.pragprog.com

• Object-oriented programming
• Programming paradigms
• Io
• Prototype-based programming
• Reflection
• Lua
• Object
• Common Lisp Object System
• Clone
• Software engineering
• Computing
• Computer programming

Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University

Source URL: www.ccs.neu.edu

• Lisp programming language
• Formal methods
• Functional languages
• Cross-platform software
• Automated theorem proving
• ACL2
• Common Lisp
• Formal verification
• Lisp
• Software engineering
• Computing
• Computer programming

Software Fault Prevention by Language Choice: Why C is Not My Favorite Language Richard Fateman∗ Computer Science Division Electrical Engineering and Computer Sciences Dept. University of California, Berkeley

Source URL: http.cs.berkeley.edu

• Lisp programming language
• Functional languages
• Common Lisp
• Data types
• Computer workstations
• Lisp
• Genera
• Assignment
• Preprocessor
• Computing
• Software engineering
• Computer programming

Using Polymorphism to Improve Expert Systems Maintainability John Yen, MEMBER, IEEE Hsiao-Lei Juang Department of Computer Science Texas A&M University

Source URL: www.isi.edu

• Computing
• Method
• Object
• LOOM
• Common Lisp Object System
• Class
• This
• Generic function
• Software engineering
• Object-oriented programming
• Computer programming

Toward a Practical Module System for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, Massachusetts, U.S.A. {cce, matthias}@ccs.neu.edu

Source URL: www.ccs.neu.edu

• Lisp programming language
• Holism
• ACL2
• Formal methods
• Model theory
• Automated theorem proving
• Nqthm
• Common Lisp
• Modular programming
• Software engineering
• Computer programming
• Computing

Generic Packages with Expandable Classes compared with similar approaches Fredrik Sørensen and Stein Krogdahl Department of Informatics, University of Oslo E-mail: [removed], [removed] Abstract

Source URL: www.nik.no

• Cross-platform software
• C++
• Object-oriented programming
• Java
• C++ classes
• Common Lisp Object System
• Generic programming
• Computing
• Computer programming
• Software engineering

Expressive and Modular Predicate Dispatch for Java TODD MILLSTEIN, CHRISTOPHER FROST, JASON RYDER and ALESSANDRO WARTH University of California, Los Angeles

Source URL: tinlizzie.org

• Object-oriented programming
• Method
• Programming paradigms
• Common Lisp
• Lisp programming language
• Multiple dispatch
• Dynamic dispatch
• Common Lisp Object System
• Polymorphism
• Software engineering
• Computing
• Computer programming